#ifndef _SERIAL_H_
#define _SERIAL_H_
#include <stdio.h>

#define printk printf

#endif /* _SERIAL_H_ */
